首页> 外文OA文献 >A counterexample-guided approach to parameter synthesis for linear hybrid automata

【2h】

A counterexample-guided approach to parameter synthesis for linear hybrid automata

机译：线性混合自动机参数综合的反例引导方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Goran Frehse; Sumit Kumar Jha; Bruce H. Krogh;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement [J] . Ernst Althaus, Bjoern Beber, Werner Damm, Science of Computer Programming . 2017,第nova15期

机译：使用反例指导的抽象细化验证具有大离散状态空间的线性混合系统
2. A novel hybrid cellular automata-linear programming approach for the optimal sizing of planar truss structures [J] . A. Faramarzi, M.H. Afshar Civil Engineering and Environmental Systems . 2014,第3期

机译：一种新颖的混合细胞自动机线性规划方法，用于优化平面桁架结构的尺寸
3. Reachability and optimal control for linear hybrid automata: a quantifier elimination approach [J] . Pang Y, Spathopoulos MP, Xia H International Journal of Control . 2007,第5期

机译：线性混合自动机的可达性和最优控制：量词消除方法
4. A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata [C] . Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh International Workshop on Hybrid Systems . 2008

机译：用于线性混合自动机的参数合成的反例引导方法
5. Hybrid sol-gel glasses for nonlinear optics/artificial films from cellular automata. [D] . Gurney, James Alexander. 1998

机译：混合溶胶-凝胶玻璃，用于来自细胞自动机的非线性光学/人造膜。
6. Total synthesis of feglymycin based on a linear/convergent hybrid approach using micro-flow amide bond formation [O] . Shinichiro Fuse, Yuto Mifune, Hiroyuki Nakamura, -1

机译：基于线性/会聚杂化方法的微流酰胺键形成法合成全霉素
7. Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models [O] . Marc Segelken -1

机译：ω-automata模型检查阶梯式线性混合模型的抽象和强调引导施工

A counterexample-guided approach to parameter synthesis for linear hybrid automata

著录项

引文网络

相似文献

相关主题

期刊订阅